909d1bc602350a0febc8e3feb82340ce9378ae96,plugins/org.eclipse.xtext.ui/src/org/eclipse/xtext/ui/editor/model/XtextDocument.java,XtextDocumentLocker,modify,#IUnitOfWork#,415

Before Change


				} catch (RuntimeException e) {
					try {
						if (state != null)
							state.reparse(get());
					} catch (IOException ioe) {
					}
					throw e;

After Change


							synchronized (getResourceLock(state)) {
								acquireWriteLock();
								try {
									state.reparse(get());
								} finally {
									releaseWriteLock();
								}